dfa problems